recursive vector reduction

递归向量化简